Take Command of Your Constraints! (Technical Report)

نویسندگان

  • Sung-Shik T.Q. Jongmans
  • Farhad Arbab
چکیده

Constraint automata (CA) are a coordination model based on finite automata on infinite words. Although originally introduced for compositional modeling of coordinators, an interesting new application of CA is actually implementing coordinators (i.e., compiling CA to executable code). Such an approach guarantees correctness-by-construction and can even yield code that outperforms hand-crafted code. The extent to which these two potential advantages arise depends on the smartness of CA-compilers and the existence of proofs of their correctness. We present and prove the correctness of a critical optimization for CAcompilers: a sound and complete translation from declarative constraints in transition labels to imperative commands in a sequential language. This optimization avoids expensive calls to a constraint solver at runtime, otherwise performed each time a transition fires, and thereby significantly improves the performance of generated coordination code.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

P14: How to Find a Talent?

Talents may be artistic or technical, mental or physical, personal or social. You can be a talented introvert or a talented extrovert. Learning to look for your talents in the right places and building those talents into skills and abilities might take some work, but going about it creatively will let you explore your natural abilities and find your innate talents. You’re not going to fin...

متن کامل

Training and utilization of auxiliary personnel for rural health teams in developing countries. Report of a WHO Expert Committee.

training and utilization of auxiliary personnel for rural health teams in developing countries report of a who expert committee technical report series 633 . Book lovers, when you need a new book to read, find the book here. Never worry not to find what you need. Is the training and utilization of auxiliary personnel for rural health teams in developing countries report of a who expert committe...

متن کامل

Take Command of Your Constraints!

Constraint automata (CA) are a coordination model based on finite automata on infinite words. Although originally introduced for compositional modeling of coordinators, an interesting new application of CA is actually implementing coordinators (i.e., compiling CA to executable code). Such an approach guarantees correctness-by-construction and can even yield code that outperforms hand-crafted co...

متن کامل

“Take as your place of worship the place where Abraham stood (to pray).”

In the verse “Take as your place of worship the place where Abraham stood (to pray)” Abraham’s position is an intense discussion among Fariqain commentators. Commentary of this verse as Mosalla of Tawaf prayer and Tawaf area has a practical and jurisprudential role during Hajj and Umrah. On commentary of Abraham’s position and his status, more than six exegetic viewpoints have been proposed fro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015